1501. Proceedings of the 12th International Symposium on Computer Science in Sport (IACSS 2019)
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Sports sciences ;
1502. Proceedings of the 10th International Symposium on Computer Science in Sports (ISCSS)
پدیدآورنده : / Paul Chung, Andrea Soltoggio, Christian W. Dawson, Qinggang Meng, Matthew Pain
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, BIOMEDICAL|ROBOTICS
رده :
E-BOOK
1503. Proceedings of the 10th International Symposium on Computer Science in Sports (ISCSS)
پدیدآورنده : \ [Edited by] Paul Chung...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Sports sciences -- Computer simulation -- Congresses.,Sports sciences -- Data processing -- Congresses.,ورزش علمی -- شبیه‌سازی کامپیوتری -- کنگره ها ,ورزش علمی -- داده پردازی -- کنگره ها
رده :
GV
568
.
P76
2015
E-Book
,
1504. Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,علوم کامپیوتر -- کنگره‌ها
رده :
E-Book
,
1505. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
پدیدآورنده : Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
S94
2004
1506. Proceedings : 34th Annual Symposium on Foundations of Computer Science, Novenber 3-5, 1993, Palo Alto, California
پدیدآورنده : sponsord by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Switching theory - Congresses , Machine theory - Congresses , Electronic data processing - Congresses , Computer Science-Congresses
رده :
QA
268
.
5
.
S95
1993
1507. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
1508. Professional English in use computer science
پدیدآورنده : میرفردوس? سیدآیت اله
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع : زبان انگلیسی -- کتاب های قرائت -- کامپیوتر English language -- Readers -- Computer science زبان انگلیسی -- کتاب های درسی English language -- Textbooks خواندن -- استنباط -- مسائل? تمرین ها و غیره Reading comprehension -- Problems, exercises, etc زبان انگلیسی -- دستور -- مسائل? تمرین ها و غیره English language -- Grammar -- Problems, exercises, etc
رده :
PE
1127
/
م
9
پ
4
1509. Programming concepts and problem solving: an introduction to computer science using PASCAL
پدیدآورنده : Linz, Peter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Pascal )Computer program language(
رده :
QA
76
.
73
.
P2
L56
1983
1510. Programming with class A C++ introduction to computer science
پدیدآورنده : Kamin, Samuel N.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : C++ )Computer program language(
رده :
QA
76
.
73
.
C153
K36
1996
1511. Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
پدیدآورنده : Reinhard Kahle, Peter Schroeder-Heister, Robert Stark )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2183
1512. Quantum computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Quantum computers. ;
1513. Quantum computer science
پدیدآورنده : N. David Mermin
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع : Quantum computers,Quantum theory
رده :
QA
,
76
.
889
,.
M47U8
,
2007
1514. Quantum computer science : an introduction
پدیدآورنده : Mermin, N. David
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Quantum computers,، Quantum theory
رده :
QA
76
.
889
.
M47Q3
1515. Quantum computer science: an introduction
پدیدآورنده : Mermin, N. David.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Quantum computers,، Quantum theory
رده :
QA
76
.
889
.
M47
2007
1516. Quantum computer science :an introduction
پدیدآورنده : Mermin, N. David.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Quantum computers,، Quantum theory
رده :
QA
76
.
889
.
M47
2007
1517. Question Baankvin Computer Science
پدیدآورنده : / By: Nitin Upadhyay, M. Ramaswamy, R. Balagurswamy.
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه صنعتی بیرجند (خراسان جنوبی)
موضوع : Computer-Exams and Exercises
رده :
QA76
.
27
U6Q4
2005
1518. Queueing networks and Marcov chains: modeling and performance evaluation with computer science applications
پدیدآورنده : Gunter Bolch...]et al.[
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Electronic digital computers- Evaluation,، Markov processes,، Queuing theory
رده :
QA
76
.
9
.
E94
Q48
1519. Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
پدیدآورنده : Gunter Bolch ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Evaluation ، Electronic digital computers,، Markov processes,، Queueing theory
رده :
QA
76
.
9
.
E94
Q48
1998
1520. Queueing networks and Markov chains : modeling and performance evaluation with computer science applications
پدیدآورنده : Gunter Bolch...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation ، Electronic digital computers,، Markov processes,، Queuing theory
رده :
QA
76
.
9
.
E94Q48
